Теорія категорій

Теорія категорія — спеціальний розділ абстрактної алгебри (функцій) який вивчає універсальні властивості алгебраїчних систем. Основна ідея полягає в абстрагуванні об'єктів та зв'язків між ними (морфізмів), які можут бути наділені довільними структурами в уніфікований пакет, який містить властивості алгебраїчної системи, що пов'язані зі структурою композиції у цій системі.